procedure Repeat;
... statements
until(b1 : boolean[; op : symbol; b2 : boolean...]);

Repeats until the boolean or boolean expression is TRUE.

Also see:  Until  For